Unfolds ``eq\_int`` 3